退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种集成的形式化方法工具链及其在文件系统模型验证中的应用
Miguel A. Ferreira; Jose ́ N. Oliveira;
机译:迈向验证分布式系统中活动特性的集成形式方法:应用于人口协议
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:集成的形式化方法工具链及其在验证文件系统模型中的应用
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:一种人机交互系统的形式化验证方法
机译:通过正式模型设计和验证数据流系统的工具和方法
机译:三维模型生成方法的方法,装置,装置和存储介质,本申请由2018年9月30日提交的中国专利申请提交,本发明提交了本发明的优先级,例如生成方法,装置,装置和 三维模型的存储介质,以及整个内容被作为参考的本申请结合到本申请中。
机译:用于正式验证的集成电路设计模型分割
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。